Rendering OWL in Description Logic Syntax
نویسندگان
چکیده
As ontology engineering is inherently a multidisciplinary process, it is necessary to utilize multiple vehicles to present an ontology to a user. In order to examine the formal logical content, description logic renderings of the axioms appear to be a very helpful approach for some. This paper introduces a number of changes made to the OWLAPI’s LTEX rendering framework in order to improve the readability, concision, and correctness of translated OWL files, as well as increase the number of renderable OWL files.
منابع مشابه
The Manchester OWL Syntax
This paper describes a new syntax that can be used to write OWL ontologies, and fragments of OWL ontologies for presentation and editing purposes. The syntax, which is known as the Manchester OWL Syntax, was developed in response to a demand from a wide range of users, who do not have a Description Logic background, for a“less logician like” syntax. The Manchester OWL Syntax is derived from the...
متن کاملIntegrating OWL and Rules: A Syntax Proposal for Nominal Schemas
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express “variable nominal classes” within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering th...
متن کاملLet’s Talk in Description Logic via Controlled Natural Language
In this paper, we will argue that a well-defined subset of English can be used to express the same kind of information as the description logic layer of the Web Ontology Language OWL DL. We will first show what kind of problems current notations for OWL have and then discuss how an OWL ontology can be constructed alternatively in a controlled natural language (CNL). In particular, we will prese...
متن کاملSyntax Proposal for Nominal Schemas
This paper proposes a syntax representation for nominal schemas, a new description-logic style extension of OWL 2 [2, 3]. Necessary and minimal modifications to Functional and Manchester grammars are included as well as mappings from these two syntaxes to Turtle. An appendix with two examples is added in order to clarify the proposal.
متن کاملWSML Deliverable D 20 . 1 v 0 . 2 OWL −
This deliverable presents restricted variants of the OWL Lite, DL and Full species of the OWL ontology language, called OWL Lite−, OWL DL− and OWL Full−, respectively. OWL Lite− and OWL DL− are strict subsets of OWL Lite and OWL DL. They are limited in such a way that there exists a translation from both languages directly into the deductive database language Datalog. Thus, any OWL Lite− or OWL...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017